Gabriel Naudé, Helluo Librorum, e l’Advis pour dresser une bibliothèque

Une bibliothèque certifiée de programmes fonctionnels BSP

The Bulk-Synchronous Parallel ML (BSML) is a functional language for BSP programming, a model of computing which allows parallel programs to be ported to a wide range of architectures. It is based on an extension of the ML language by parallel operations on a parallel data structure called parallel vector, which is given by intention. We present the certification of a library of BSML programs w...

Représentation de données et métadonnées dans une bibliothèque virtuelle pour une adéquation avec l'usager et les outils de glanage ou moissonnage scientifique

The vehicles for official knowledge, as well as university libraries, suffer from an increasingly visible lack of interest. This is due to the advent of fully digital practices. By studying the psychological and cognitive models in information retrieval initiated in the 1980s, it is possible to use these theories and apply them practically to the Information Retrieval System, taking into accoun...

Une approche qualitative spatiale pour une description sémantique des reliefs

Vers une modularité pour données vectorielles

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

Pour une ergonomie cognitive des dictionnaires électroniques

We compare a linguistic/psycholinguistic approach of the organisation of the mental lexicon with a computational approach of the implicit lexical organisation in dictionaries taken as graphs and whose structure is a “small world”. This double approach aims at showing that if the implicit structure of dictionaries, mathematically identified, is adequate with the way young children categorise, th...